Autotests over de Morgan Plus Four