[Gloft]

{"and": {
	p1,
	p2,
	"not": {
		p3
	}
}

(Р1 и Р2 и не Р3)
{
	"and": {
		p1,
		p2,
		"not": {
			p3
		}
	}
}	
	
((Р1 и Р2) или (Р3 или Р4))
{
	"or": {
		"and": {
			p1,
			p2
		}
		"or": {
			p3,
			p4
		}
	}
}
	
(Р1 или (Р2 и не Р3))
{
	"or": {
		p1				
		"and": {
			p2,
			"not": {
				p3
			}
		}
	}
}

((Р1 или Р2) или не (Р3 и Р4))
{
	"or": {
		"or": {
			p1,
			p2
		}
		"not": {
			"and": {
				p3,
				p4
			}
		}
	}
}

Спасибо за совет, вроде сообразил.