[go: up one dir, main page]

DNF (P || Q || R) && (~P || ~Q)